A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

We develop a polynomial translation from finite control π-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.

COMPUTING SCIENCE A Polynomial Translation of pi-Calculus (FCP) to Safe Petri Nets

We develop a polynomial translation from finite control processes (an important fragment of pi-calculus) to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural (there is a close correspondence between the control flow of the original specification and the resulting Petri net), enjoys a bisimulation result, and is suitable for practical model checking. ...

A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets

We develop a polynomial translation from finite control processes (an important fragment of π-calculus) to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural (there is a close correspondence between the control flow of the original specification and the resulting Petri net), enjoys a bisimulation result, and is suitable for practical model checking.

Pi Calculus Versus Petri Nets

In the context of Web Service Composition Languages (WSCLs), there is on ongoing debate on the best foundation for Process-Aware Information Systems (PAIS’s): Petri nets or Pi calculus. Example of PAIS’s are Workflow Management (WFM), Business Process Management (BPM), Business-to-Business (B2B), Customer Relationship Management (CRM), and Enterprise Resource Planning (ERP) systems. Clearly, th...

A Petri Net Translation of pi-Calculus Terms